Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make things build with the sum-types branch of cryptol #2020

Merged
merged 1 commit into from
Feb 3, 2024
Merged

Conversation

yav
Copy link
Member

@yav yav commented Jan 26, 2024

This branch is intended for tracking sum type related changes in Cryptol

@RyanGlScott
Copy link
Contributor

See GaloisInc/cryptol#1602 for the corresponding Cryptol changes.

@RyanGlScott RyanGlScott marked this pull request as ready for review February 3, 2024 00:20
@RyanGlScott RyanGlScott added the PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run label Feb 3, 2024
@mergify mergify bot merged commit 9919afe into master Feb 3, 2024
40 checks passed
@mergify mergify bot deleted the sum-types branch February 3, 2024 01:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants